complete system of axiom

[数] 完备公理体系